Automatic Program Repair by Fixing Contracts? Yu Pei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland Abstract. While most debuggin

Source URL: se.inf.ethz.ch

• Software engineering
• Theoretical computer science
• Formal methods
• Logic in computer science
• Computer programming
• Software testing
• Extreme programming
• Postcondition
• Software bug
• Precondition
• Assertion
• Random testing

The AutoProof Verifier: Usability by Non-Experts and on Standard Code Carlo A. Furia Christopher M. Poskitt

Source URL: se.inf.ethz.ch

• Theoretical computer science
• Software engineering
• Formal methods
• Logic in computer science
• Software testing
• Formal verification
• Separation logic
• Loop invariant
• Software verification
• Eiffel
• Postcondition
• Invariant

Comparing Layered Coding and Multiple Description Coding with Link Diversity Jinhui Pan () Computer Science Department Changhua He () Electrical Engineering Department Stanford Uni

Source URL: theory.stanford.edu

What Help Do Developers Seek, When and How? Hongwei Li1, Zhenchang Xing2, Xin Peng1, Wenyun Zhao1 School of Computer Science, Fudan University, Shanghai, China School of Computer Engineering, Nanyang Technological Univer

Source URL: www.ntu.edu.sg

Reviving Partial Order Planning XuanLong Nguyen & Subbarao Kambhampati Department of Computer Science and Engineering Arizona State University, Tempe AZEmail: fxuanlong,

Source URL: rakaposhi.eas.asu.edu

• Automated planning and scheduling
• Operations research
• Partial-order planning
• Search algorithms
• Theoretical computer science
• Graphplan
• Mathematical optimization
• Algorithm
• Heuristic
• Planning

IEEE Conference on Computer Vision and Pattern Recognition (CVPRLearning sign language by watching TV (using weakly aligned subtitles) Patrick Buehler Engineering Science University of Oxford, UK

Source URL: www.comp.leeds.ac.uk

Lydia B. Chilton Research Statement I build hybrid human-computer systems that combine the strengths of human and machine intelligence to solve problems that neither one could solve independently. People have innate prob

Source URL: hmslydia.com

• Theoretical computer science
• Computer programming
• Software engineering
• Operations research
• Mathematics
• Crowdsourcing
• Algorithm
• Human-based computation
• Mathematical optimization
• Humancomputer interaction
• Problem solving
• Recursion

  Department of   Computer  Science & Engineering   

Source URL: www.cse.iitd.ernet.in

• Engineering
• Academia
• Science and technology
• Computer engineering
• Electrical engineering
• Theoretical computer science
• Computer science
• Outline of academic disciplines
• Computer vision
• Computing
• The Computer Journal
• PolicyPitch

Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development Kunshan Wang1 , Yi Lin1 , Stephen M. Blackburn1 , Michael Norrish2,1 , and Antony L. Hosking3 Research School of Computer Science, A

Source URL: users.cecs.anu.edu.au

• Computing
• Software engineering
• Computer programming
• Cross-platform software
• Concurrent programming languages
• Computing platforms
• Object-oriented programming languages
• Procedural programming languages
• Garbage collection
• Java
• LLVM
• Stack

LLDSAL A Low-Level Domain-Specific Aspect Language for Dynamic Code-Generation and Program Modification Mathias Payer, Boris Bluntschli, & Thomas R. Gross Department of Computer Science

Source URL: hexhive.github.io

• Software engineering
• Computing
• Software
• Assembly languages
• Object-oriented programming languages
• Low-level programming language
• Binary translation
• Inline assembler
• Just-in-time compilation
• ETH Zurich
• High-level programming language
• D